State - Based Extension of CASL ? / ? ?
نویسندگان
چکیده
منابع مشابه
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to...
متن کاملCasl-ltl a Casl Extension for Dynamic Systems Summary Cofi Document: Casl/summary
Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic speciication and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with t...
متن کاملCasl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
In this paper we present a part of Casl-Mdl, a visual modelling notation based on Casl-Ltl (an extension for dynamic system of the algebraic specification language Casl). The visual constructs of Casl-Mdl have been borrowed from the UML, thus existing editors may be used. A Casl-Mdl model is a set of diagrams but it corresponds to a Casl-Ltl specification, thus Casl-Mdl is a suitable means to e...
متن کاملCasl - Ltl A Casl EXTENSION FOR DYNAMIC SYSTEMS
Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic specification and development, cannot be used for specifying the requirements and the design of dynamic software systems. Casl-Ltl is an extension to overcome this limit, allowing to specify dynamic system by modelling them by means of labelled transition systems and by expressing their properties with ...
متن کاملUsing the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models
This chapter describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalisms ConGolog and its extension CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design ch...
متن کامل